multi-parameter type class関連のGHC拡張と使い分け
あるいは
Functional Dependencies v.s. Type Families
おそらくこの辺
MultiParamTypeClasses
FunctionalDependencies
TypeFamilies
の
Associated Type Synonyms
TypeFamilyDependencies
TypeFamilies
の
Associated Data Type Family
↑この辺の
使い分け
3行コメント
関係性
などを理解したい
#??
pursの方を先に知ったのでhsの方がわからない
mrsekut.icon
pursはtype familyがない
multi param type classのときは、常にfun depsが必要だった気がする
hsは別にそんなことはない
この対応って合ってる
#??
TypeFamilies
に対しての、
TypeFamilyDependencies
と、
MultiParamTypeClasses
に対しての、
FunctionalDependencies
は同じような関係
v.s.
https://wiki.haskell.org/Functional_dependencies_vs._type_families
https://gvolpe.com/blog/functional-dependencies-and-type-families/
https://stackoverflow.com/questions/12956063/functional-dependencies-vs-type-families
https://www.reddit.com/r/haskell/comments/7xnue/comparison_of_type_families_and_functional/
https://mail.haskell.org/pipermail/haskell-cafe/2012-June/101629.html